Mécanisation des crochetages en terrain à forte pente

Sur les maladies contagieuses des Animaux domestiques, observées en Iran de 1930 à 1935 par Louis

Mise en symbiose des traits et des classboxes. Application à l expression des collaborations

The trait model is complementary to class inheritance and allows collections of methods to be reused by several classes. The classbox model allows a collection of classes to be locally extended with variables and/or methods addition. This paper describes a symbiosis of these two models: classes can be locally extended by using a trait. It is illustrated by an efficient implementation of the col...

Analyse en dépendances à l'aide des grammaires d'interaction

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

Arithmétique des courbes elliptiques à réduction supersingulière en p

CONTENTS 1. Introduction 2. Fonction L p-adique analytique et congruences provenant de la distribution modulaire 3. Fonction L p-adique arithmétique 4. Conjecture principale et théorème de Kato 5. λ-invariants et µ-invariants 6. Croissance du groupe de Shafarevich-Tate 7. Exemples Numériques A. Démonstration du théorème 3.2 B. Surjectivité de ρ p , Constante de Manin C. Du côté des calculs D. T...

Intégration d'optimisations globales en compilation séparée des langages à objets

Mainly used compilers are based on separate compilation, whereas optimizations of object-oriented programs mostly need a complete knowledge of the whole program. This is especially the case for type analysis and late binding implementations. Both approaches have pros and cons. Therefore, this paper proposes an integration of global optimizations in a separate compilation framework. The code gen...